Works by R. Van Der Meyden

( view other items matching `R. van der Meyden`, view all matches )
6 found
Order:
Disambiguations
Ron van der Meyden [7]R. van der Meyden [2]
  1.  39
    Complete axiomatizations for reasoning about knowledge and branching time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93 - 123.
    Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with respect to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  16
    Complete Axiomatizations for Reasoning about Knowledge and Branching Time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93-123.
    Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with respect to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  3.  5
    Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.T. French, R. van der Meyden & M. Reynolds - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 53-72.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Handbook of Deontic Logic and Normative System, Volume 2.Dov Gabbay, , John Horty, Xavier Parent, Ron van der Meyden & Leon van der Torre (eds.) - forthcoming - College Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  5. The Handbook of Deontic Logic (Vol. II).Dov Gabbay, Ron van der Meyden, John Horty, Xavier Parent & Leandert van der Torre (eds.) - forthcoming - College Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  17
    Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science.Ron van der Meyden & Leon van der Torre - 2011 - Journal of Applied Logic 9 (2):81-82.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark